fåîÉåíçêó ^ÅÅKVTNN táääá~ã=j~íÜÉëçå=m~éÉêë k~íáçå~ä=iáÄê~êó=çÑ=pÅçíä~åÇ

Source URL: www.nls.uk

Why Information can be Free ˇ ce?† Ivana Caˇ ? Joanna J. Bryson†

Source URL: www.cs.bath.ac.uk

• Computing
• Modeling and simulation
• Multi-agent systems
• Artificial intelligence
• Simulation software
• Complex systems theory
• Simulation
• NetLogo
• Agent-based model
• Intelligent agent
• Agent
• Economics

Abstract Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of Melbour

Source URL: jorgenavas.github.io

• Mathematics
• Order theory
• Algebra
• Abstract algebra
• Lattice theory
• Lattice
• Partially ordered set
• KnasterTarski theorem
• Complete lattice
• Binary relation
• Join and meet
• Monotonic function

Journal fu¨r die reine und angewandte Mathematik J. reine angew. Math), 1—35 DOICRELLE

Source URL: math.univ-bpclermont.fr

• Mathematics
• Mathematical analysis
• Topology
• Vector bundles
• Differential geometry
• Differential topology
• Geometry processing
• Differential operators
• Lie algebroid
• Lie groupoid
• Groupoid
• Differentiable manifold

Toward the Synthesis of Constraint Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA 94304

Source URL: www.kestrel.edu

• Constraint programming
• Software engineering
• Computer programming
• Constraint satisfaction
• Local consistency
• Theoretical computer science
• Constraint
• Theory of constraints
• Schaefer's dichotomy theorem
• Constraint logic programming

Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ †

Source URL: cs.nyu.edu

• Computational complexity theory
• Theory of computation
• IP
• Proof of knowledge
• NP
• Zero-knowledge proof
• Certificate
• Theoretical computer science
• Applied mathematics

Differential Power Analysis and Fault Attacks on Hash-Based Signature Schemes Matthias J. Kannwischer 27 March 2018 Radboud University, Nijmegen, The Netherlands

Source URL: kannwischer.eu

• Cryptography
• Cryptographic hash functions
• Post-quantum cryptography
• Hashing
• Search algorithms
• Power analysis
• XMSS
• Hash function
• SHA-2
• DPA
• Digital signature
• Crypt

Area 1 (Virtual Machines and Compilation) Danny Yoo () Abstract The ideas behind tracing JITs go back to the late 1970s, but have become especially popular lately. Explain the principles behind a tracing J

Source URL: www.hashcollision.org

• Computing
• Software engineering
• Computer programming
• Compiler construction
• Programming languages
• Programming language implementation
• Software optimization
• Tracing just-in-time compilation
• High-level programming languages
• Just-in-time compilation
• PyPy
• Interpreter

Modular, Crash-Safe Refinement for ASMs with Submachines Gidon Ernsta , J¨ org Pf¨ahlera , Gerhard Schellhorna , Wolfgang Reifa a Institute

Source URL: www.isse.uni-augsburg.de

• Formal methods
• Theoretical computer science
• Software engineering
• Mathematics
• Predicate transformer semantics
• Refinement
• Abstract state machines
• NC
• 120-cell
• Cover

Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract

Source URL: rjoshi.org

• Model checkers
• Theoretical computer science
• Formal methods
• Software engineering
• Logic in computer science
• Model checking
• Search algorithms
• Formal verification
• SPIN model checker
• Verification
• Swarm behaviour
• Promela